大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Society for Computer Applications in Engineering 的图书(共9984本)

Advances in Computer Entertainment [electronic resource] : 9th International Conference, ACE 2012, Kathmandu, Nepal, November 3-5, 2012. Proceedings

0
索取号：
作者：Nijholt、 Anton.、Rom茫o、 Teresa.、Reidsma、 Dennis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Methods and Software Engineering [electronic resource] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings

0
索取号：
作者：Aoki、 Toshiaki.、Taguchi、 Kenji.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Gesture and Sign Language in Human-Computer Interaction and Embodied Communication [electronic resource] : 9th International Gesture Workshop, GW 2011, Athens, Greece, May 25-27, 2011, Revised Selected Papers

0
索取号：
作者：Efthimiou、 Eleni.、Kouroupetroglou、 Georgios.、Fotinea、 Stavroula-Evita.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Transactions on Large-Scale Data- and Knowledge-Centered Systems VI [electronic resource] : Special Issue on Database- and Expert-Systems Applications

0
索取号：
作者：Hameurlain、 Abdelkader.、K眉ng、 Josef.、Wagner、 Roland.、Liddle、 Stephen W.、Schewe、 Klaus-Dieter.、Zhou、 Xiaofang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Applications of Graph Transformations with Industrial Relevance [electronic resource] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers

0
索取号：
作者：Sch眉rr、 Andy.、Varr贸、 D谩niel.、Varr贸、 Gergely.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Recent Trends in Computer Networks and Distributed Systems Security [electronic resource] : International Conference, SNDS 2012, Trivandrum, India, October 11-12, 2012. Proceedings

0
索取号：
作者：Thampi、 Sabu M.、Zomaya、 Albert Y.、Strufe、 Thorsten.、Alcaraz Calero、 Jose M.、Thomas、 Tony.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Information and Computer Security [electronic resource] : 7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012. Proceedings

0
索取号：
作者：Hanaoka、 Goichiro.、Yamauchi、 Toshihiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Outdoor and Large-Scale Real-World Scene Analysis [electronic resource] : 15th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, June 26 - July 1, 2011. Revised Selected Papers

0
索取号：
作者：Dellaert、 Frank.、Frahm、 Jan-Michael.、Pollefeys、 Marc.、Leal-Taix茅、 Laura.、Rosenhahn、 Bodo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Information Computing and Applications [electronic resource] : Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings

0
索取号：
作者：Liu、 Baoxiang.、Ma、 Maode.、Chang、 Jincai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Information Computing and Applications [electronic resource] : Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings, Part II

0
索取号：
作者：Liu、 Chunfeng.、Wang、 Leizhen.、Yang、 Aimin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Information Computing and Applications [electronic resource] : Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings, Part I

0
索取号：
作者：Liu、 Chunfeng.、Wang、 Leizhen.、Yang、 Aimin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Rewriting Logic and Its Applications [electronic resource] : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers

0
索取号：
作者：Dur谩n、 Franciso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Human-Computer Interaction, Tourism and Cultural Heritage [electronic resource] : Second International Workshop, HCITOCH 2011, C贸rdoba, Argentina, September 14-15, 2011, Revised Selected Papers

0
索取号：
作者：Cipolla-Ficarra、 Francisco.、Veltman、 Kim.、Chih-Fang、 Huang.、Cipolla-Ficarra、 Miguel.、Kratky、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Morphogenetic Engineering [electronic resource] : Toward Programmable Complex Systems

0
索取号：
作者：Doursat、 Ren茅.、Sayama、 Hiroki.、Michel、 Olivier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.